-
1 symbol of negation
Большой англо-русский и русско-английский словарь > symbol of negation
-
2 symbol of negation
Математика: знак отрицания -
3 symbol of negation
мат. -
4 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
5 negation
-
6 negation
1. n отрицаниеnegation gate — вентиль отрицания; схема отрицания
2. n отрицание существования или истинности3. n ничто, пустое место; фикцияСинонимический ряд:1. denial (noun) cancellation; denial; disclaimer; gainsaying; refusal; refutation; rejection; repudiation; veto2. opposite (noun) absence; antithesis; contradiction; contrary; converse; opposite; reverse3. repeal (noun) abolishment; abolition; abrogation; annihilation; annulment; invalidation; nullification; repeal; rescission -
7 symbol
1) символ; знак (см. тж character)2) обозначение, идентификатор ( ресурса)•- accented symbol
- additional symbol
- aiming symbol
- annotation symbol
- assignment symbol
- atomic symbol
- basic symbol
- block-diagram symbol
- block-identification symbol
- breakpoint symbol
- charting symbol
- chart symbol
- check symbol
- colon equal symbol
- connector symbol
- currency symbol
- current operation symbol
- decision symbol
- displaying symbol
- distinguished symbol
- edge-lit symbol
- editing symbol
- end of data symbol
- entry symbol
- external symbol
- flexible symbol
- flowcharting symbol
- flowchart symbol
- functional symbol
- global variable symbol
- graphic symbol
- grouping symbol
- input symbol
- item separation symbol
- mnemonic symbol
- model symbols
- multiply defined symbol
- negated symbol
- negation symbol
- non-numeric symbol
- nonterminal symbol
- odd symbols
- operational symbol
- output symbol
- pipe symbol
- primitive symbol
- program modification symbol
- pseudoatomic symbol
- public symbol
- punctuation symbol
- root symbol
- separator symbol
- sequence symbol
- special symbol
- specific symbol
- standard language symbol
- start symbol
- terminal symbol
- terminating symbol
- tracking symbol
- unnegated symbol
- variable symbolEnglish-Russian dictionary of computer science and programming > symbol
-
8 negation symbol
-
9 negation symbol
Большой англо-русский и русско-английский словарь > negation symbol
-
10 negation symbol
Вычислительная техника: символ отрицания -
11 negation symbol
English-Russian dictionary of computer science and programming > negation symbol
-
12 negation symbol
мат. -
13 знак отрицания
Большой англо-русский и русско-английский словарь > знак отрицания
-
14 символ отрицания
Большой англо-русский и русско-английский словарь > символ отрицания
См. также в других словарях:
Negation — Verneinung; Dementierung * * * Ne|ga|ti|on 〈f. 20〉 1. Verneinung, Ablehnung; Ggs Affirmation, Position (7) 2. 〈Gramm.〉 Verneinungswort; → Lexikon der Sprachlehre [<lat. negatio] * * * Ne|ga|ti|on, die; , en [lat. negatio, zu: negare, ↑… … Universal-Lexikon
Prime (symbol) — This article is about the symbol. For the type of number, see Prime number. For other uses, see Prime (disambiguation). ′ Prime Punc … Wikipedia
X (disambiguation) — X is the twenty fourth letter of the Latin alphabet.X may also refer to:Language*Chi (letter), the twenty second letter of the Greek alphabet, often used to abbreviate Christ *Kha, a letter in the Cyrillic alphabet *Ḫāʼ, a letter in the Arabic… … Wikipedia
Transposition (logic) — In the methods of deductive reasoning in classical logic, transposition is the rule of inference that permits one to infer from the truth of A implies B the truth of Not B implies not A , and conversely . [Brody, Bobuch A. Glossary of Logical… … Wikipedia
tilde — /til deuh/, n. 1. a wavy line dicritic placed over an n, as in Spanish mañana, to indicate a palatal nasal sound or over a vowel, as in Portuquese são, to indicate nasalization. 2. See swung dash. 3. Math. a wavy horizontal line symbol indicating … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… … Wikipedia